<html>
<head>
    <link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>
    <p>
        You can find a setting in the <span class="control">Settings/Preferences</span> dialog
        without browsing through the options.
        Just type several characters that, in your opinion, are present in the option description.</p>
    <p class="image">
        <img src="images/SearchInSettings.png"></p>
</body>
</html>
